1. Quantifier elimination and cylindrical algebraic decomposition
Author: B. F. Caviness and J. R. Johnson )eds.(
Library: (Kerman)
Subject: Data processing ، Algebra,، Decomposition method,، Algorithms
Classification :
QA
155
.
7
.
E4
Q36
1998
